VDict mobile



language (LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)